package Tools;

public enum AgentState {
		SpecState, 	//SPECSTATE is a "false" state only needed to display the legend in the GUI, 
					//it does not intervene into the system itself
					//it must NOT be used or considered as a state in regard of agents
		
		Referenced,
		NoSatisfiedPreconditions,
		Satisfied,
		Included,
		Challenger,
		Concurrency
	}

